AS/NZS 3687:1993 PDF

AS/NZS 3687:1993 PDF

Name:
AS/NZS 3687:1993 PDF

Published Date:
01/01/1993

Status:
[ Withdrawn ]

Description:

Information technology - Open Systems Interconnection - Guidelines for the application of Estelle, LOTOS and SDL

Publisher:
Standards Australia / Standards New Zealand

Document status:
Active

Format:
Electronic (PDF)

Delivery time:
10 minutes

Delivery time (for Russian version):
200 business days

SKU:

Choose Document Language:
$40.59
Need Help?
Provides an introduction to the nature and purpose of formal description techniques (FDTs) with formal descriptions in each of the techniques for selected examples described in natural language. Guidance is given to users of FDTs on how to judge and improve the quality of formal descriptions with management guidance on how to handle the relationship between informal and formal descriptions and between formal descriptions. This Standard is identical with and has been reproduced from ISO/IEC/TR 10167:1991.
Edition : 1st
File Size : 1 file , 6.2 MB
ISBN(s) : 0726284238
Note : This product is unavailable in Russia, Belarus
Number of Pages : 201
Product Code(s) : 10117036
Published : 01/01/1993

History


Related products

AS/NZS 4357.4:2005
Published Date: 08/08/2005
Structural laminated veneer lumber, Part 4: Determination of formaldehyde emissions
$15.048
AS/NZS 61215.1:2023
Published Date: 06/30/2023
Terrestrial photovoltaic (PV) modules - Design qualification and type approval, Part 1: Test requirements (IEC 61215-1:2021, (ED.2.0) MOD)
$30.294
AS/NZS IEC/IEEE 60214.2:2024
Published Date: 09/20/2024
Tap-changers, Part 2: Application guidelines
$50.886

Best-Selling Products

EIA/IS 30A
Published Date: 09/01/1987
Resistors, Rectangular Surface Mount Thick Film
EIA/IS 43AA
Published Date: 09/01/1988
Cable LAN Twisted Pair Data Communication - Detail Specification for Type 1, Outdoor Cable
EIA/IS 43AC
Published Date: 09/01/1988
Cable LAN Twisted Pair Data Communications - Detail Specification for Type 1, Riser Cable
EIA/IS 43AD
Published Date: 09/01/1988
Cable LAN Twisted Pair Data Communications - Detail Specification for Type 1, Plenum Cable
EIA/IS 43AE
Published Date: 09/01/1988
Cable LAN Twisted Pair Data Communications - Detail Specification for Type 2, Non-Plenum Cable
EIA/IS 43AF
Published Date: 09/01/1988
Cable LAN Twisted Pair Data Communications - Detail Specification for Type 2, Plenum Cable